Nuprl Lemma : decidable__false 12,41
Dec(False) 
latex

ProofTree

Definitionst  T, False
Lemmasfalse wf

origin